$\forall$${\it the\_w}$:World, $l$:IdLnk, ${\it mss}$:Msg List. onlnk($l$;${\it mss}$) $\in$ Msg List